Lee Naish : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (54)
Les plus populaires
Liste
- Liste
- Tableau

1

Automating control for logic programs

Journal:

The Journal of Logic Programming

Année:

1985

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1985

2

Proving properties of committed choice logic programs

Journal:

The Journal of Logic Programming

Année:

1989

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1989

3

Sustained miniaturization and anatomical innovation in the dinosaurian ancestors of birds

Lee, M. S. Y., Cau, A., Naish, D., Dyke, G. J.

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 568 KB

english, 2014

4

A three-valued semantics for logic programmers

Journal:

Theory and Practice of Logic Programming

Année:

2006

Langue:

english

Fichier:

PDF, 218 KB

english, 2006

5

Adtpp: lightweight efficient safe polymorphic algebraic data types for C

Naish, Lee, Schachte, Peter, MacNally, Aleck M.

Journal:

Software: Practice and Experience

Année:

2016

Langue:

english

Fichier:

PDF, 2.36 MB

english, 2016

6

Improving spectral-based fault localization using static analysis

Neelofar, Neelofar, Naish, Lee, Lee, Jason, Ramamohanarao, Kotagiri

Journal:

Software: Practice and Experience

Année:

2017

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2017

7

Spectral-based fault localization using hyperbolic function

Neelofar, N., Naish, Lee, Ramamohanarao, Kotagiri

Journal:

Software: Practice and Experience

Année:

2017

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2017

8

Create or Die (Essays on the Artistry of Dennis Hopper) || The Elephant in the Room Dennis Hopper and American Politics

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 100 KB

english, 2016

9

Shutdown dose rate benchmarking using modern particle transport codes

Eade, Tim, Colling, Bethany, Naish, Jonathan, Packer, Lee, Valentine, Alex

Journal:

Année:

2020

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2020

10

Heterogeneous SLD resolution

Journal:

The Journal of Logic Programming

Année:

1984

Langue:

english

Fichier:

PDF, 493 KB

english, 1984

11

Completeness of an improved declarative debugger

Song Y. Yan, Lee Naish

Journal:

Applied Mathematics Letters

Année:

1991

Langue:

english

Fichier:

PDF, 437 KB

english, 1991

12

Specialisation of Higher-Order Functions for Debugging

Bernard Pope, Lee Naish

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 283 KB

english, 2002

13

Declarative diagnosis of missing answers

Journal:

New Generation Computing

Année:

1992

Langue:

english

Fichier:

PDF, 1.42 MB

english, 1992

14

[ACM Press the 4th annual SIGCSE/SIGCUE ITiCSE conference - Cracow, Poland (1999.06.27-1999.06.30)] Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education - ITiCSE '99 - A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Année:

1999

Langue:

english

Fichier:

PDF, 453 KB

english, 1999

15

Morphological Clocks in Paleontology, and a Mid-Cretaceous Origin of Crown Aves

Lee, M. S. Y., Cau, A., Naish, D., Dyke, G. J.

Journal:

Systematic Biology

Année:

2014

Langue:

english

Fichier:

PDF, 2.07 MB

english, 2014

16

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Spectral Debugging with Weights and Incremental Ranking

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Année:

2009

Langue:

english

Fichier:

PDF, 237 KB

english, 2009

17

REVIEWS

McGRAIL, SEÁN, NURSE, G. T., BELLABARBA, SERGIO, GORSKI, RICHARD, QUINN, DAVID B., CUSACK, JANET, BRADLEY, PETER T., LE FEVRE, PETER, LEES, J., MUNDAY, JOHN, DYE, IRA, MARTIN, JAY C., NAISH, JOHN, GRE

Journal:

The Mariner's Mirror

Année:

1998

Langue:

english

Fichier:

PDF, 1.84 MB

english, 1998

18

[IEEE 2009 2nd IEEE International Conference on Computer Science and Information Technology - Beijing, China (2009.08.8-2009.08.11)] 2009 2nd IEEE International Conference on Computer Science and Information Technology - The effectiveness of using non redundant test cases with program spectra for bug localization

Lee, Hua Jie, Naish, Lee, Ramamohanarao, Kotagiri

Année:

2009

Langue:

english

Fichier:

PDF, 120 KB

english, 2009

19

[IEEE 2010 17th Asia Pacific Software Engineering Conference (APSEC) - Sydney, Australia (2010.11.30-2010.12.3)] 2010 Asia Pacific Software Engineering Conference - Statements versus Predicates in Spectral Bug Localization

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Année:

2010

Langue:

english

Fichier:

PDF, 332 KB

english, 2010

20

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference - COMPSAC 2010 - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference - Effective Software Bug Localization Using Spectral Frequency Weighting Function

Lee, Hua Jie, Naish, Lee, Ramamohanarao, Kotagiri

Année:

2010

Langue:

english

Fichier:

PDF, 461 KB

english, 2010

21

[IEEE 2009 2nd IEEE International Conference on Computer Science and Information Technology - Beijing, China (2009.08.8-2009.08.11)] 2009 2nd IEEE International Conference on Computer Science and Information Technology - Study of the relationship of bug consistency with respect to performance of spectra metrics

Hua Jie Lee,, Naish, Lee, Kotagiri Ramamohanarao,

Année:

2009

Langue:

english

Fichier:

PDF, 187 KB

english, 2009

22

[IEEE 2013 22nd Australian Software Engineering Conference (ASWEC) - Hawthorne, Victoria, Australia (2013.06.4-2013.06.7)] 2013 22nd Australian Software Engineering Conference - Duals in Spectral Fault Localization

Naish, Lee, Lee, Hua Jie

Année:

2013

Langue:

english

Fichier:

PDF, 188 KB

english, 2013

23

REVIEWS

FROST, HONOR, WATERS, D. W., RITCHIE, G. S., JONES, WILLIAM R., CHILDS, WENDY R., WILLIAMS, GLYNDWR, JACOBS, ELS M., DOLLEY, BRIAN H., DUFFY, MICHAEL, NEWITT, M., NAISH, JOHN, BAUGH, DANIEL A., LEES,

Journal:

The Mariner's Mirror

Année:

1993

Langue:

english

Fichier:

PDF, 1.95 MB

english, 1993

24

Radiation levels in the ITER tokamak complex during and after plasma operation

Ghani, Zamir, Turner, Andrew, Mangham, Sam, Naish, Jonathan, Lis, Mercedes, Packer, Lee, Loughlin, Michael

Journal:

Fusion Engineering and Design

Année:

2015

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2015

25

A model for spectra-based software diagnosis

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Journal:

ACM Transactions on Software Engineering and Methodology

Année:

2011

Langue:

english

Fichier:

PDF, 327 KB

english, 2011

26

[ACM Press the 33rd SIGCSE technical symposium - Cincinnati, Kentucky (2002.02.27-2002.03.03)] Proceedings of the 33rd SIGCSE technical symposium on Computer science education - SIGCSE '02 - Visual representations for recursive algorithms

Stern, Linda, Naish, Lee

Année:

2002

Langue:

english

Fichier:

PDF, 426 KB

english, 2002

27

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Multiple Bug Spectral Fault Localization Using Genetic Programming

Naish, Lee, Neelofar,, Ramamohanarao, Kotagiri

Année:

2015

Langue:

english

Fichier:

PDF, 998 KB

english, 2015

28

Special issue on ‘Logic Programming and the INTERNET’

STERLING, LEON, NAISH, LEE, HERMENEGILDO, MANUEL

Journal:

Theory and Practice of Logic Programming

Année:

2001

Langue:

english

Fichier:

PDF, 76 KB

english, 2001

29

TPLP pearls submission guidelines

Journal:

Theory and Practice of Logic Programming

Année:

2001

Langue:

english

Fichier:

PDF, 61 KB

english, 2001

30

A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Journal:

ACM SIGCSE Bulletin

Année:

1999

Langue:

english

Fichier:

PDF, 453 KB

english, 1999

31

Visual representations for recursive algorithms

Stern, Linda, Naish, Lee

Journal:

ACM SIGCSE Bulletin

Année:

2002

Langue:

english

Fichier:

PDF, 426 KB

english, 2002

32

Radiation Mapping at JET and ITER Using Advanced Computational Acceleration Techniques and Tools

Naish, Jonathan, Fox, Frances, Ghani, Zamir, Loughlin, Michael, Packer, Lee, Turner, Andrew

Journal:

Nuclear Technology

Année:

2015

Langue:

english

Fichier:

PDF, 5.24 MB

english, 2015

33

Truth versus information in logic programming

NAISH, LEE, SØNDERGAARD, HARALD

Journal:

Theory and Practice of Logic Programming

Année:

2014

Langue:

english

Fichier:

PDF, 462 KB

english, 2014

34

Minimal East Antarctic Ice Sheet retreat onto land during the past eight million years

Shakun, Jeremy D., Corbett, Lee B., Bierman, Paul R., Underwood, Kristen, Rizzo, Donna M., Zimmerman, Susan R., Caffee, Marc W., Naish, Tim, Golledge, Nicholas R., Hay, Carling C.

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 6.06 MB

english, 2018

35

Transforming floundering into success

Journal:

Theory and Practice of Logic Programming

Année:

2014

Langue:

english

Fichier:

PDF, 223 KB

english, 2014

36

[ACM Press the Australasian Computer Science Week Multiconference - Geelong, Australia (2017.01.31-2017.02.03)] Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17 - An analysis of New South Wales electronic vote counting

Conway, Andrew, Blom, Michelle, Naish, Lee, Teague, Vanessa

Année:

2017

Langue:

english

Fichier:

PDF, 183 KB

english, 2017

37

Create or Die (Essays on the Artistry of Dennis Hopper) || Commercial Breakdown Dennis Hopper in the World of Advertisements

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 100 KB

english, 2016

38

Create or Die (Essays on the Artistry of Dennis Hopper) || Love and Hate The Conflict of Emotions in The Blackout and Carried Away

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 115 KB

english, 2016

39

Create or Die (Essays on the Artistry of Dennis Hopper) || Contents

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 58 KB

2016

40

Create or Die (Essays on the Artistry of Dennis Hopper) || Frontmatter

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 56 KB

2016

41

Create or Die (Essays on the Artistry of Dennis Hopper) || Hip-Hopp Dennis Hopper and Music

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 106 KB

english, 2016

42

Create or Die (Essays on the Artistry of Dennis Hopper) || Acknowledgements

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 66 KB

english, 2016

43

Create or Die (Essays on the Artistry of Dennis Hopper) || Bibliography

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 82 KB

english, 2016

44

Create or Die (Essays on the Artistry of Dennis Hopper) || White Light/White Heat Actor and Character Collide in White Star

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 89 KB

english, 2016

45

Create or Die (Essays on the Artistry of Dennis Hopper) || Notes

Naish, Stephen Lee

Année:

2016

Langue:

english

Fichier:

PDF, 73 KB

english, 2016

46

Create or Die (Essays on the Artistry of Dennis Hopper) || Love and Hate The Conflict of Emotions in The Blackout and Carried Away

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 115 KB

2016

47

Create or Die (Essays on the Artistry of Dennis Hopper) || The Elephant in the Room Dennis Hopper and American Politics

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 100 KB

2016

48

Create or Die (Essays on the Artistry of Dennis Hopper) || White Light/White Heat Actor and Character Collide in White Star

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 89 KB

2016

49

Create or Die (Essays on the Artistry of Dennis Hopper) || Hip-Hopp Dennis Hopper and Music

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 106 KB

2016

50

Create or Die (Essays on the Artistry of Dennis Hopper) || Bibliography

Naish, Stephen Lee

Année:

2016

Fichier:

PDF, 82 KB

2016